bitkeeper revision 1.1108.1.43 (41135456PAFHevYX4V4bGMwjCNydpQ)

Random bug fix.

diff --git a/tools/misc/xencons b/tools/misc/xencons
index 7ac63aeb75379f3a0ce7ce5feb8a7dc597915611..434fce1e8b9b6c03cd9ec5a2b522aabd23f35e41 100755 (executable)
--- a/tools/misc/xencons
+++ b/tools/misc/xencons
@@ -27,6 +27,8 @@ def __recv_from_sock(sock):
     while not stop:
         try:
             data = sock.recv(1024)
+            if len(data) == 0:
+                stop = True
             os.write(1, data)
         except socket.error, error:
             if error[0] != errno.EINTR: